ar X iv : 1 30 1 . 50 38 v 1 [ cs . S C ] 2 1 Ja n 20 13 Hermite Reduction and Creative Telescoping for Hyperexponential Functions ∗
نویسندگان
چکیده
Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li, Guoce Xin INRIA, Palaiseau, 91120, (France) Department of Mathematics, NCSU, Raleigh, 27695-8025, (USA) KLMM, AMSS, Chinese Academy of Sciences, Beijing 100190, (China) Department of Mathematics, Capital Normal University, Beijing 100048, (China) [email protected], {alin.bostan, frederic.chyzak}@inria.fr [email protected], [email protected]
منابع مشابه
Some applications of differential-difference algebra to creative telescoping. (Quelques applications de l'algébre différentielle et aux différences pour le télescopage créatif)
Since the 1990’s, Zeilberger’s method of creative telescoping has played an important role in the automatic verification of special-function identities. The long-term goal initiated in this work is to obtain fast algorithms and implementations for definite integration and summation in the framework of this method. Our contributions include new practical algorithms, complexity analyses of algori...
متن کاملar X iv : g r - qc / 0 40 30 38 v 2 1 1 Ja n 20 05 Hamiltonian formalism and spacetime symmetries in generic DSR models
We study the structure of the phase space of generic models of deformed special relativity which gives rise to a definition of velocity consistent with the deformed Lorentz symmetry. As a byproduct we also determine the laws of transformation of spacetime coordinates.
متن کاملar X iv : 1 20 1 . 52 98 v 1 [ cs . C C ] 2 5 Ja n 20 12 Scrabble is PSPACE - Complete
In this paper we study the computational complexity of the game of Scrabble. We prove the PSPACE-completeness of a derandomized model of the game, answering an open question of Erik Demaine and Robert Hearn.
متن کامل. S C ] 1 9 Ja n 20 14 Parallel Telescoping and Parameterized Picard – Vessiot Theory ∗
Parallel telescoping is a natural generalization of differential creativetelescoping for single integrals to line integrals. It computes a linear ordinary differential operator L, called a parallel telescoper, for several multivariate functions, such that the applications of L to the functions yield antiderivatives of a single function. We present a necessary and sufficient condition guaranteei...
متن کاملar X iv : m at h - ph / 0 50 90 44 v 2 1 1 Ja n 20 06 RANDOM POLYNOMIALS , RANDOM MATRICES AND L - FUNCTIONS
We show that the Circular Orthogonal Ensemble of random matrices arises naturally from a family of random polynomials. This sheds light on the appearance of random matrix statistics in the zeros of the Riemann zeta-function.
متن کامل